GOLDSMITHS Research Online Book Section d'Inverno, Mark and Luck, Michael A formal view of social dependence networks

In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agency and autonomy. In particular, this work made the claim that the framework could serve as a vehicle for the precise presentation and evaluation of models and theories of multi-agent systems. We support this claim by outlining the framework and re ning it through adding further levels of detail to formalise the concepts of external descriptions and social dependence networks. Social Dependence Networks are a valuable source of information about the relationships within a multi-agent world. They allow agents to reason about the resources and capabilities of others in order that they may enter into a negotiation to persuade these others to assist them in completing their tasks. By formalising social dependence networks within the framework we are able to identify de ciencies in the original characterisation of the networks and the external descriptions of agents within them. We address these de ciencies, and o er a modi ed view which removes much of the ambiguity and presents a stronger and more consistent formal model. In reformulating these networks in this way, we also present a case study which shows how the formal framework that has been previously developed can be applied to provide an environment in which we can describe and reason about theories and models of multi-agent systems.